A Logic of Universal Causation

From Turner's Logic of Universal Causation to the Logic of GK

Logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning. To date, it has been used to embed in it default logic, autoepistemic logic, and general logic programming under stable model semantics. Besides showing the generality of GK as a logic for nonmonotonic reasoning, these embedd...

Implementing Default and Autoepistemic Logics via the Logic of GK

The logic of knowledge and justified assumptions, also known as the logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning. To date, it has been used to embed in it default logic (propositional case), autoepistemic logic, Turner’s logic of universal causation, and general logic programming under stable model semantics. Besides showing the ...

Actual causation in CP-logic

Given a causal model of some domain and a particular story that has taken place in this domain, the problem of actual causation is deciding which of the possible causes for some effect actually caused it. One of the most influential approaches to this problem has been developed by Halpern and Pearl in the context of structural models. In this paper, I argue that this is actually not the best se...

Causal Laws and Singular Causation

In this paper it will be argued that causal laws describe the actions of causal powers. The process which results from such an action is one which belongs to a natural kind, the essence of which is that it is a display of this causal power. Therefore, if anything has a given causal power necessarily, it must be naturally disposed to act in the manner prescribed by the causal law describing the ...

A Ghazalian Predicament Epistemology and Metaphysics of Causation in the Works of Ghazali